TransEDA adds SystemVerilog support and Advanced Rule checking to its leading Verification Navigator tool suite
Eastleigh UK - Paris France, January 24, 2005 - TransEDA, the leader in coverage and ready-to-use verification solutions for electronic designs, today announces SystemVerilog support in new versions of its VN-Cover and VN-Check tools.
By delivering these new versions, TransEDA has met the commitment it made at DAC'04 to provide support for the emerging SystemVerilog standard.
SystemVerilog support in VN-Cover, the industry's most accurate code coverage solution, means that designers can take advantage of powerful new SystemVerilog constructs such as enumerated types, records, user-defined types, etc., and still accurately measure code coverage on their design in the same way they do with VHDL and Verilog. Coverage measurement for SystemVerilog / VHDL, mixed-language designs is also fully supported.
SystemVerilog support in VN-Check, the configurable rule checker, enables designers to check name and style rules for this language very early in the design flow. This extended capability is extremely useful to ease migration of design teams to SystemVerilog and to ensure consistent use of this new language on a company-wide basis.
The new version of VN-Check also implements numerous assertion-oriented rules, aimed at helping designers to include assertions in order to correctly cover their designs.
Another major enhancement in the new version of VN-Check is the implementation of advanced rules, which are verified using an embedded formal engine.
This new set of high-end rules allows users to perform extended design consistency checks on RTL, and complements traditional rule checking by formally verifying the functionality of selected features of a design.
Examples of the rules provided in this advanced rule set are:
- FSM safety and liveness (state and transition reachability, dead lock)
- Synthesis Pragma violations (full case, parallel case)
- Array index out-of-bounds
- Bus contention detection
- Deterministic initialization (minimal number of cycles until circuit is stable at reset)�
With this enhanced version of VN-Check, designers have access to the best value configurable rule checking solution. The extended sets of rules, encompassing syntax, semantics and automatic formal rules checking, allow very early detection of design issues.
Availability
SystemVerilog VN-Cover, VN-Check versions and the VN-Check Advanced Rules option are available now in beta. For more information, contact your local TransEDA sales representative.
TransEDA will demonstrate these new key capabilities at DATE (Design Automation and Test in Europe) that will take place in Munich from the 8th - 11th of March 2005 - Booth # D7000.
About TransEDA
TransEDA is a leading provider in coverage and ready-to-use verification solutions for electronic designs. The company has over twelve years of operating experience in the EDA market.
TransEDA provides advanced verification and verification closure measurement solutions including code coverage with coverability analysis capability, specification coverage and impact analysis, configurable HDL rule checking with automatic formal checks, static assertion verification, automatic bus protocol checking, verification IP with bus-based system-level test automation, test suite optimization and transistor-level functional abstraction.
TransEDA is part of the Valiosys Group and has offices in North America, Europe and Japan, plus local representatives in China, India, Korea, Singapore and Taiwan. For more information, visit www.transeda.com.
Contacts:
TransEDA - Sophie Gosselin, +33 (0)153 38 46 00, sophie.gosselin@transeda.com
TransEDA, the TransEDA logo and Verification from Concept to Reality are registered trademarks of TransEDA Technology
Ltd. All other trademarks are the property of their respective owners.
